Oreki Houtarou Deductive Reasoning